1. Runtime Verification
پدیدآورنده : \ Ezio Bartocci, Rupak Majumdar (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,Computer software -- Testing -- Congresses,نرمافزار -- راستیآزمایی -- کنگره ها,روشهای صوری (کامپیوتر) -- کنگره ها,آزمونهای کامپیوتری -- نرمافزار -- کنگره ها
رده :
QA
76
.
76
.
V47
R82
2015
E-Book
,
